营造有利于征用民营企业物力资源的环境

本文叙述了信息化条件下的国防动员，对民营企业物力资源的征用将是一项必不可少的内容。因此，有必要在完善优惠政策、健全军品准入措施、构建征用补偿制度三个方面营造有利于征用民营企业物力资源的环境。     

On efficiency of multistage channel with bargaining over wholesale prices

This article considers a multistage channel with deterministic price‐sensitive demand. Two systems for pricing decisions, that is, the bargaining system and the leader‐follower system, are compared. We characterize the necessary and sufficient conditions on the power structure, under which the solution of the bargaining system Pareto dominates that of the leader‐follower system. Also, under such conditions, we give a tight upper bound of channel efficiency of the bargaining system, which converges to 100% channel efficiency as the number of stages increases to infinity. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 449–459, 2016     

Optimal production ramp-up in the smartphone manufacturing industry

Motivated by challenges in the smartphone manufacturing industry, we develop a dynamic production ramp-up model that can be applied to economically satisfy nonstationary demand for short-life-cycle products by high-tech companies. Due to shorter life cycles and more rapid evolution of smartphones, production ramp-up has been increasingly critical to the success of a new smartphone. In the production ramp-up, the key challenge is to match the increasing capacity to nonstationary demand. The high-tech smartphone manufacturers are urged to jointly consider the effect of increasing capacity and decreasing demand. We study the production planning problem using a high-dimensional Markov decision process (MDP) model to characterize the production ramp-up. To address the curse of dimensionality, we refine Monte Carlo tree search (MCTS) algorithm and theoretically analyze its convergence and computational complexity. In a real case study, we find that the MDP model achieves revenue improvement by stopping producing the existing product earlier than the benchmark policy. In synthetic instances, we validate that the proposed MCTS algorithm saves computation time without loss of solution quality compared with traditional value iteration algorithm. As part of the Lenovo production solution, our MDP model enables high-tech smartphone manufacturers to better plan the production ramp-up.     

一种基于核心数据区监视的交叉验证方法

通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...     

BTT导弹制导律研究综述

与STT导弹相比,BTT导弹在气动效率、机动能力、控制性能等方面具有明显优势,但其运动耦合特性也给传统研究框架下的制导律设计带来了挑战。本文针对BTT导弹制导律设计问题展开研究,首先描述了BTT导弹制导基本问题,分析了BTT导弹制导律设计的技术难点,需要综合考虑运动耦合、多约束、目标机动、弹体动态效应等因素,然后综述了国内外现代制导律设计的基本方法,将其分为双通道解耦法、球坐标法、现代几何法等,最后指出了BTT导弹制导律的进一步研究方向。     

l阶链式积分器型多智能体实现平均一致的时延相关LMI判据

针对l阶链式积分器型多智能体平均一致性问题,给出联合连通拓扑条件下LMI表示的时延相关稳定判据.利用状态分解思想,将收敛条件转化为判断不一致系统零平衡点的稳定性;考虑存在多个时变通信时延的情况,采用构造公共的Lyapunov-Krasovskii泛函的方式来分析系统稳定性,为获得较低保守性判据,在主要结论中引入了自由权...     

Monitoring poisson count data with probability control limits when sample sizes are time varying

This article considers the problem of monitoring Poisson count data when sample sizes are time varying without assuming a priori knowledge of sample sizes. Traditional control charts, whose control limits are often determined before the control charts are activated, are constructed based on perfect knowledge of sample sizes. In practice, however, future sample sizes are often unknown. Making an inappropriate assumption of the distribution function could lead to unexpected performance of the control charts, for example, excessive false alarms in the early runs of the control charts, which would in turn hurt an operator's confidence in valid alarms. To overcome this problem, we propose the use of probability control limits, which are determined based on the realization of sample sizes online. The conditional probability that the charting statistic exceeds the control limit at present given that there has not been a single alarm before can be guaranteed to meet a specified false alarm rate. Simulation studies show that our proposed control chart is able to deliver satisfactory run length performance for any time‐varying sample sizes. The idea presented in this article can be applied to any effective control charts such as the exponentially weighted moving average or cumulative sum chart. © 2013 Wiley Periodicals, Inc. Naval Research Logistics 60: 625–636, 2013     

空间飞行器主动段的轨道估计与误差分析

为了对无源探测卫星系统的定轨方式和精度进行定量分析,通过坐标转换、受力分析、拟合、最小二乘法、微分方程数值解法与误差分析等方法,建立了基于卫星无源探测的空间飞行器在主动段的交汇定位优化模型和运动方程模型。基于模拟数据和模型,给出了卫星和空间飞行器的轨道曲线以及卫星的系统误差。经过系统误差修正,空间飞行器的估计轨道误差仅为7.582 1 m。     

基于呼叫状态的IMS业务触发算法

在IMS会话和和业务控制过程中,随着业务量的增长,S-CSCF面临的负载急剧增加,3GPP原有IMS业务的集中控制方式极易形成性能“瓶颈”,从而影响系统服务质量。为降低会话时延,提高系统性能,本文在研究基于分组的业务触发算法和基于呼叫状态的业务触发算法基础上,提出了一种基于呼叫状态的分组业务触发算法（C-GSTA）,并对其进行性能建模和理论分析。仿真结果表明,在业务种类和业务量增加的情况下,C-GSTA算法能够有效降低S-CSCF与服务器之间的信令流量,提高IMS系统吞吐量,缩短S-CSCF处理时延,改善业务触发性能和网络服务质量。     

基于转移费用矩阵的机器人路径规划方法

本文描述了机器人路径规划的一种新方法：基于转移费用矩阵的机器人路径规划方法。通过定义转移费用矩阵的概念及其上的二元运算,将最优路径的生成,转化为矩阵的运算,使得有限步的矩阵运算,即可得到环境中所有点间的最优路径,达到了在预处理阶段构造最优路径集的目的。最后,介绍了该方法在移动机器人任务规划中的应用